Specification-based Testing for Software Product Lines
نویسندگان
چکیده
In this paper, we develop a testing theory for specification-based software product line development. Starting with a framework for the evaluation of test cases with respect to formal specifications, we develop a notion of enhancement, which allows to re-use test cases in a horizontal systems development process. In such a process, more and more features are added to an existing software product. For specification-based testing, this means that the corresponding specifications are enhanced more and more, and that new test cases must be added to an existing test suite in order to test the additional features. We formally define an enhancement relation between CSP-CASL specifications, describe a test evaluation method for software product lines based on CSP-CASL specifications, and prove several preservation results which allow to re-use test cases. We illustrate our approach with the example of a product line of remote control units for consumer products.
منابع مشابه
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements
Use Cases can be employed in system requirements engineering to capture requirements from an external point of view. In product line modeling, commonalities and variabilities of a family of systems have to be described. To this purpose, we have defined extensions and modifications of the Use Cases notation, called Product Line Use Cases (PLUCs). In order to guarantee the conformance of the deri...
متن کاملRepresenting Variability in Product Lines: A Survey of Modeling and Specification Techniques
Software product lines are increasingly used to develop safety-critical and missioncritical systems. To reason about the correctness of product lines, researchers have developed special testing techniques and adapted formal verification techniques such as model checking and theorem proving to the requirements of software product lines. Existing research has focused on the strategies to enable e...
متن کاملSpecification Based Software Product Line Testing: A case study
In this paper, we describe an approach of software product line testing which is based on formal specifications of the desired properties. In a software product line, common behaviours are maintained at subsequent levels of the product development. Commonalities among products arise from the reuse of parts of the software. It is unclear, however, in which way test cases for one product can be r...
متن کاملIntegrated Modeling of Software Product Lines with Feature Models and Classification Trees
Software Product Lines (SPLs) are an approach to improve reusability of software in a large number of products that share a common set of features. In SPLs, Feature Models (FMs) are frequently used to model commonalities and variabilities. However, according to the best of our knowledge, there are no approaches to automatically generate test cases on the basis of a stand-alone FM. We introduce ...
متن کاملIntroducing Performance Awareness in an Integrated Specification Environment
With an increase in software complexity and modularization to create large software systems and software product lines it is increasingly difficult to ensure all requirements are met by the built system. Performance requirements are an important concern to software systems and research has developed approaches being capable of predicting software performance from annotated software architecture...
متن کامل